MINLP (from Gupta-Ravindran; nvs_17 in MINLPLib) go BARON GAMS short